The neagtion of "for all" is "there exists at least one." For example, if
a group is not Abelian, then there is at least one pair of elements 
<i>a</i> and<i>
b</i> such that <i>ab</i> is not equal <i>ba</i>.